$\leq_{b}$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$p$.2.2